Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
201	Supporting newly-appointed judges: a legal knowledge management case study Pompeu Casanovas, Marta Poblet, Nu´ria Casellas, Jesus Contreras, V. Richard Benjamins and Mercedes Blazquez Abstract Add to Reading List Source URL: lpis.csd.auth.gr Language: English - Date: 2008-08-20 05:47:36 Ontology Knowledge engineering Semantic Web Knowledge Information science Technical communication Computing Body of knowledge Web Ontology Language Upper ontology Formal ontology
202	Call for papers WWW 2017 Web Mining and Content Analysis Track The Web Mining and Content Analysis Track at the 2017 Conference on the World Wide Web (http://www2017.com.au ) welcomes submissions of original, high-qu Add to Reading List Source URL: www.www2017.com.au Language: English - Date: 2016-08-06 03:49:36 Information technology Computing Business intelligence Information Data mining Formal sciences Big data Web mining Unstructured data Analytics Data science Text mining
203	Chapter 1 MINING AND USING SETS OF PATTERNS THROUGH COMPRESSION Matthijs van Leeuwen KU Leuven Leuven, Belgium Add to Reading List Source URL: www.patternsthatmatter.org Language: English - Date: 2014-12-31 10:52:18 Algorithmic information theory Information theory Cybernetics Formal sciences Theoretical computer science Statistics Minimum description length Statistical theory Lossless compression Minimum message length Data compression Kolmogorov complexity
204	CSE 584A Class 6 Jeremy Buhler February 8, 2016 1 Add to Reading List Source URL: classes.engineering.wustl.edu Language: English - Date: 2016-02-08 06:47:37 String computer science) Computing Computer programming Formal languages String matching algorithms Search algorithms Arrays Pattern matching Suffix tree String searching algorithm Suffix array KnuthMorrisPratt algorithm
205	Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen Dedicated to David A. Schmidt on the Occasion of his 60th Birthday Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-09-22 20:46:25 Models of computation Formal languages Theoretical computer science Pushdown automaton Automata theory Deterministic pushdown automaton Computability Language Deterministic context-free language Deterministic automaton Culture NPDA
206	SAT Instances for Termination Analysis with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2009-06-09 05:12:21 Theoretical computer science Logic in computer science Formal languages Hans Zantema International Conference on Rewriting Techniques and Applications Rewriting Termination analysis Divergence NP-completeness
207	Putting the User in Usable Verification Kathi Fisler WPI Department of Computer Science (joint work with Shriram Krishnamurthi, Brown University) November 3, 2010 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-03 22:22:08 Software engineering Formal methods Theoretical computer science Systems engineering Business Logic in computer science Formal verification Verification and validation Requirement Object Process Methodology Runtime verification
208	An Applied Ontology for Semantics Associated with Surface Water Features Dalia E. Varanka E. Lynn Usery U.S. Geological Survey Add to Reading List Source URL: cegis.usgs.gov Language: English - Date: 2014-12-15 16:23:10 Ontology Semantic Web Computing Knowledge representation Information science Information Knowledge engineering Upper ontology Formal ontology Web Ontology Language Geographic information system National Hydrography Dataset
209	Practical Proof Checking for Program Certification Geoff Sutcliffe1 , Ewen Denney2 , Bernd Fischer2 1 University of Miami Add to Reading List Source URL: ti.arc.nasa.gov Language: English Logic Formal methods Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Proof assistants Formal verification Formal proof Proof-carrying code Automated proof checking Theorem
210	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-12-13 08:22:59 Theoretical computer science Software engineering Logic in computer science Computing Formal methods Programming language semantics Compiler construction Operational semantics Semantics Formal verification Compiler correctness Programming language

UPDATE